# -*- mode: snippet -*-
# name: Local Axioms
# --
Local Axioms $1 , $2: $3
